1. Compiler specification and verification
پدیدآورنده: / Wolfgang polak
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Compiling (Electronic computer),Computer programs - Verification
رده :
QA76
.
6
.
P648
2. Compiler specification and verification
پدیدآورنده: Wolfgang Polak.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Compilation (Ordinateurs),Compilers (Computer programs),Computer programs -- Verification.
3. Compiler specification and verification
پدیدآورنده: Polak, Wolfgang
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Compilers )Computer programs(,، Computer programs-- Verification
رده :
QA
76
.
6
.
P648
1981
4. Compiler specification and verification
پدیدآورنده: Polak, Wolfgang
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Compilers )Computer programs(,، Computer programs - Verification
رده :
QA
76
.
L4
v
.
124
5. Compiler specification and verification
پدیدآورنده: Polak, Wolfgang, 0591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Compilers )Computer programs(,، Computer programs -- Verification
رده :
QA
76
.
L28
Vol
.
124
6. Compiler specification & verification
پدیدآورنده: POLAK,WOLFGANG
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: COMPILERS )COMPUTER PROGRAMS( , COMPUTER PROGRAMS-VERIFICATION
رده :
QA
76
.
6
.
P648
7. Quantum Computing: A Gentle Introduction (Scientific and Engineering Computation)
پدیدآورنده: / Eleanor G. Rieffel, Wolfgang H. Polak
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS&COMPUTER SCIENCE, THEORY
رده :
E-BOOK
8. The Competitive Advantage--ECODESIGN
پدیدآورنده: / Mo Lee, Ferdinand Quella, John Polak-Wolfgang Wimmer, Kun
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: INSTRUMENTATION& ELECTRONIC|INSTRUMENTS &ENGINEERING, ELECTRICAL
رده :
E-BOOK
